Nonparametric Specification Testing in Random Parameter Models∗ Christoph Breunig †

Source URL: www2.bc.edu

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing

Introduction Testing Covariance Matrices Testing Bandedness Power Analysis Simulation

Source URL: sas.uwaterloo.ca

• Statistics
• Mathematical analysis
• Probability
• Covariance and correlation
• Matrices
• Summary statistics
• Algebra of random variables
• Multivariate statistics
• Covariance
• Sample mean and covariance
• Variance
• Multivariate random variable

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs Koen Claessen John Hughes

Source URL: www.eecs.northwestern.edu

• Software engineering
• Computer programming
• Functional languages
• Software testing
• Functional programming
• QuickCheck
• Random testing
• Literate programming
• Procedural programming languages
• Monad
• Test data generation
• Haskell

Automated Program Repair in an Integrated Development Environment Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer Chair of Software Engineering, Department of Computer Science, ETH Zurich, Switzerland Email: first

Source URL: se.inf.ethz.ch

• Software testing
• Object-oriented programming
• Integrated development environments
• Compilers
• EiffelStudio
• Extreme programming
• Random testing
• Eiffel
• Software bug
• Unit testing
• Computer programming
• Design by contract

Infants consider both the sample and the sampling process in inductive generalization Hyowon Gweon, Joshua B. Tenenbaum, and Laura E. Schulz1 Department of Brain and Cognitive Sciences, Massachusetts Institute of Technol

Source URL: eccl.mit.edu

• Statistics
• Knowledge
• Statistical theory
• Statistical inference
• Psychometrics
• Hypothesis testing
• Survey methodology
• Sampling
• Bayesian inference
• Simple random sample
• Bayesian network
• Statistical hypothesis testing

Monkey See, Monkey Do: Effective Generation of GUI Tests with Inferred Macro Events Markus Ermuth Michael Pradel

Source URL: mp.binaervarianz.de

• Software
• Computer programming
• Software testing
• Cryptography
• Macro
• Source code
• Mouseover
• TeX
• Random testing
• Preprocessor
• FisherYates shuffle
• Randomness

Applying Search in an Automatic Contract-Based Testing Tool Alexey Kolesnichenko, Christopher M. Poskitt, and Bertrand Meyer ETH Z¨ urich, Switzerland

Source URL: se.inf.ethz.ch

• Software engineering
• Software testing
• Computing
• Theoretical computer science
• Formal methods
• Logic in computer science
• Object-oriented programming
• Postcondition
• Random testing
• Eiffel
• General-purpose computing on graphics processing units
• Test data generation

What are you trying to tell me? A Bayesian model of how toddlers can simultaneously infer property extension and sampling processes Hyowon Gweon, Joshua B. Tenenbaum, and Laura E. Schulz (hyora, jbt, ) Dep

Source URL: sll.stanford.edu

• Statistics
• Knowledge
• Statistical theory
• Statistical inference
• Hypothesis testing
• Sampling techniques
• Survey methodology
• Sampling
• Bayesian inference
• Causality
• Bayesian network
• Simple random sample

Journal of Experimental Psychology: Learning, Memory, and Cognition 2013, Vol. 39, No. 5, 1473–1490 © 2013 American Psychological Association/$12.00 DOI: a0032397

Source URL: cocosci.berkeley.edu

• Randomness
• Design of experiments
• Hypothesis testing
• Statistical randomness
• Statistical theory
• Fair coin
• Random sequence
• Likelihood-ratio test
• Random variable
• Statistical hypothesis testing
• Statistics
• Type I and type II errors